Definition des
... ... ... OuvrierAVeine(Mines) (*)
Zerstarten